$\forall$$g$:GrpSig, $a$, $b$:$\mid$$g$$\mid$. SqStable($a$ $\leq$ $b$)